Full text of "Treatise On Analysis Vol-Ii"

See other formats

```422       XV   NORMED ALGEBRAS AND SPECTRAL THEORY

(1)    C is an eigenvalue  of T (the  set of these is called the point-
spectrum of T) ;

(2)    f is not an eigenvalue of T (which implies that T  £/ is a bijective
mapping of dom(T) onto a subspace L of E), the subspace L is dense in E, but
(jT  C/)"1 is not continuous on L (the set of these values is called the con-
tinuous spectrum of T) ;

(3)    C is not an eigenvalue of T and the subspace L is not dense in E (the
set of these values is called the residual spectrum of T).

For example, for the operator defined in (11.1.1), the point-spectrum is
empty, the continuous spectrum is the unit circle U : |C| = 1, and the residual
spectrum is the open disk |C| < 1 (Section 11.1, Problem 4).

(15.12.11)    The spectrum of a closed operator T on E is closed in C, and the
mapping C^^r(0 ofC - Sp(T) into £(E) is analytic.

Let Co e C  Sp(T), and put a = ||jRT(Co)ll- Then the continuous operator
= (/- (C - Co)JĞr(Co))"%(Co)isdefinedforallCsatisfying|C--C0|<fl-l>
and is analytic in this disk (83.2.1). For each x e dom(T), we have

*T(Co)(^ - C/) ' * = * + (Co -
and therefore V(Q(T - U) - x = x. For each integer n^Q, let

so that K(C) is the limit of the sequence (Fn(Q) in Jz?(E). By definition, we have
Fn(Q  y e dom(r) for all y e E and all n > 0, and

(T - CTOC) -y = (C - C0)K,(0  y + (T - C

hence (r  CO^AO ' J tends to y as n -ğ +00. Since by hypothesis 7 is closed,
this implies that F(0  y e dom(T) and (T - C/) P(0  y = y- This shows that
T  C/ is a bijective linear mapping of dom(T) onto E and that the inverse
mapping is K(0. Hence C # Sp(T) and F(Q = ^r(0> which completes the
proof.

(15.12.12) £#£ N be a (not necessarily bounded) normal operator on E. With
the notation of (15. 12.8), we have Sp(N) = (J Sp(7V,,); the point-spectrum ofN

n

is the union of the point-spectra of the Nn , and the residual spectrum of N is
empty. For N to be self-adjoint, it is necessary and sufficient that its spectrum
should be real.d if the inverse linear
```